- 程序檢驗
- 程序驗證
- verification: n. 1.證實,證明,確定;核驗,驗證,核對;檢驗,校驗 ...
- automatic program verification: 自動程序驗證
- automatic program verification system: 自動程序驗證系統(tǒng)
- computer program verification: 計算機程序驗證
- constructive program verification: 結(jié)構(gòu)程序驗證
下載手機詞典可隨時隨地查詞查翻譯